أبو علي سينا
القياس 333
الشفاء ( المنطق )
وأربعة ضروب أخرى ، والمتصلات جزئية . تأليفات ذلك على منهاج الشكل الثاني . ضروب ذلك والمتصلة « 1 » موجبة ، والشرائط بين الحملية والتالي تلك التي في الحمليات . الضرب الأول : كل ج د ، وكلما كان ه ز ؛ فلا شئ من آ ب . ينتج : كلما كان ه ز ، فلا شئ من ج آ . ويتبين « 2 » بعكس التالي . الضرب الثاني « 3 » : لا شئ من ج ب « 4 » وكلما كان ه ز ، فكل آ ب . ينتج كذلك ، ويتبين بعكس الحملية ، ثم عكس التالي والنتيجة . الضرب الثالث « 5 » : بعض ج ب ، وكلما كان ه ز . فلا شئ من آ ب « 6 » . ينتج : كلما كان ه ز ، فليس كل ج آ . ويبين « 7 » بعكس التالي . الضرب الرابع « 8 » : كل « 9 » ج ب ، وكلما كان ه ز ، فلا كل « 10 » آ ب . ينتج كالثالث ، ويبين هكذا : كلما كان ه ز ؛ فحق أنه لا كل آ ب ، وحق أنه كل ج ب « 11 » . وكلما كان هذان حقين ، فلا كل ج آ . ينتج : أنه كلما كان ه ز ، فلا كل ج آ . وأربعة ضروب أخرى والمتصلة جزئية . ضروب ذلك والمتصلة سالبة ، والشريطة فيه أن يكون التالي جزئيا موافقا للحملى في الكيفية كذلك .
--> ( 1 ) والمتصلة : والمنفصلة عا . ( 2 ) ويتبين : ويبين د ، ن . ( 3 ) الضرب الثاني : الضرب 2 ه . ( 4 ) بعكس . . . ج ب : ساقطة من د . ( 5 ) وكلما . . . آ ب : ساقطة من د . ( 6 ) الضرب الثالث : الضرب 3 ه . ( 7 ) ويبين : ويتبين عا . ( 8 ) الضرب الرابع : الضرب 4 ه ( 9 ) كل ( الأولى ) : ليس كل س ، ه ( 10 ) فلا كل : فكل س ، ه . ( 11 ) ج ب : آ ب ه .